Transitive closure - PDFSEARCH.IO - Document Search Engine

Transitive closure
Results: 48

#	Item
21	Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:49:27 Non-classical logic Model theory Philosophical logic Formal methods Transitive closure Modal logic Description logic Boolean satisfiability problem Satisfiability Logic Mathematics Mathematical logic
22	Maximal-Element Rationalizability∗ Walter Bossert D´epartement de Sciences Economiques and CIREQ Universit´e de Montr´eal C.P. 6128, succursale Centre-ville Montr´eal QC H3C 3J7 Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-03 01:57:35 Algebraic structures Binary relation Transitive closure Finitary relation Maximal element Transitive relation Function Constructible universe Mereology Mathematics Order theory Mathematical logic
23	Rationalizability of Choice Functions on General Domains Without Full Transitivity∗ Walter Bossert ´ D´epartement de Sciences Economiques and C.R.D.E. Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:03:00 Mathematical logic Binary relation Transitive relation Transitive set Transitive closure Maximal element Preference Transitivity Structure Mathematics Order theory Mathematical structures
24	Introduction Affine Transitive Closure Algorithm Improving Preconditions 1. Car racing .... 2. Scientific Computing Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-17 12:19:52 NS2 Transitive closure Factorial Mathematics Initialisms KC
25	Jointly Combining Implicit Constraints Improves Temporal Ordering Nathanael Chambers and Dan Jurafsky Department of Computer Science Stanford University Stanford, CA 94305 {natec,jurafsky}@stanford.edu Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2008-09-30 12:05:11 Technical communication TimeML Transitive closure Equivalence relation Transitivity Binary relation Transitive set Modal logic Computing Logic Mathematical logic
26	MLL normalization and transitive closure: circuits, complexity, and Euler tours Harry Mairson Problem: Given a proofnet in multiplicative linear Add to Reading List Source URL: www.cs.brandeis.edu Language: English - Date: 2008-03-28 12:21:03 Logic Ordinal numbers Set theory Curry–Howard correspondence Dependently typed programming Type theory Ordinal arithmetic Mathematical logic Proof theory Mathematics
27	Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-09 10:02:45 Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic
28	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein −→ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computer law Copyleft Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Transitive closure Theoretical computer science Mathematics Applied mathematics
29	arXiv:cs.PLv1 7 SepCrocoPat 2.1 Introduction and Reference Manual Dirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2004-09-08 03:21:18 Elementary mathematics Abstract algebra Finitary relation Function First-order logic Binary relation Arity Transitive closure FO Mathematics Logic Mathematical logic
30	Relational Programming with CrocoPat Dirk Beyer School of Computer and Communication Sciences Ecole Polytechnique Fédérale de Lausanne CH-1015 Lausanne, Switzerland Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:23 Database theory Model theory Relational model Prolog Database Function Relational algebra Transitive closure Algorithm Mathematics Logic Mathematical logic

UPDATE